Build Your Own First-Order Solver (外部記事) - Internet Explorer 2.0

Build Your Own First-Order Solver (外部記事)

http://jens-otten.de/tutorial_cade19/

1階述語論理のソルバーを作ろう！